Generic automorphisms of the universal partial order
نویسندگان
چکیده
منابع مشابه
Generic Automorphisms of the Universal Partial Order
We show that the countable universal-homogeneous partial order (P,<) has a generic automorphism as defined by the second author, namely that it lies in a comeagre conjugacy class of Aut(P,<). For this purpose, we work with ‘determined’ partial finite automorphisms that need not be automorphisms of finite substructures (as in the proofs of similar results for other countable homogeneous structur...
متن کاملThe Strict Order Property and Generic Automorphisms
If T is an model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
متن کاملUniversal sequences for the order-automorphisms of the rationals
In this paper, we consider the group Aut(Q, ≤) of order-automorphisms of the rational numbers, proving a result analogous to a theorem of Galvin's for the symmetric group. In an announcement, Khélif states that every countable subset of Aut(Q, ≤) is contained in an N-generated subgroup of Aut(Q, ≤) for some fixed N ∈ N. We show that the least such N is 2. Moreover, for every countable subset of...
متن کاملMany Generic Automorphisms
Given a theory T , one may add a new unary function symbol σ to the language and add axioms to T asserting that σ is an automorphism. The model theory of generic automorphisms is the study of the model companion of the resulting theory Tσ . In this paper, we study theories equipped with more than one generic automorphism by exploring when model companions exist for such theories. In particular,...
متن کاملSome examples of universal and generic partial orders
We survey structures endowed with natural partial orderings and prove their universality. These partial orders include partial orders on set of words, partial orders formed by geometric objects, grammars, polynomials and homomorphism order for various combinatorial objects.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2000
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-00-05778-6